ENTRY;
BEGIN "PSIEVE"
INTERNAL INTEGER #SIEVE;
SIMPLE PROCEDURE init_#SIEVE;
    #SIEVE ← 49171; COMMENT Largest prime in SIEVE. ;
REQUIRE init_#SIEVE INITIALIZATION;
PRESET_WITH
'152121210120,'212101012021,'202101002121,'210000210120,'012020210101,'200121200020,
'002121012001,'010101202120,'010000212100,'002020012101,'002020210100,'210020012001,
'202101002121,'000100210021,'010001200000,'202001010120,'200101012020,'212000200121,
'010120002101,'002001002001,'002020210020,'210021000020,'010001200121,'200100002121,
'000021210000,'002100200100,'210101000021,'010100202000,'210120012020,'012001202000,
'002121010100,'202020000001,'200100200101,'010020002101,'012020002001,'000001210120,
'212100012020,'000000000101,'010020000020,'010000212101,'002120200020,'012121010001,
'000100200020,'210100210021,'000021012101,'202001000000,'202120000000,'212001000120,
'010020202020,'000020212000,'200100010020,'000100002021,'212001000101,'010000012000,
'012000000101,'002021210020,'200120010000,'200101000121,'200100012000,'012021200100,
'200000200000,'002101002000,'012100200001,'210020202100,'012000000101,'202101000020,
'212021010001,'010100002101,'000100202100,'000000200000,'200100210120,'200000010001,
'200001002100,'010000200121,'002020212101,'002120200120,'010021000020,'010001202120,
'000100002101,'002021000001,'002001010100,'200100010000,'210101200000,'000120010021,
'000021002000,'202000210100,'000020012000,'010000000021,'200020210001,'010021002000,
'000121200020,'000000012020,'202101200021,'000120012000,'012000010100,'000020000100,
'212120000001,'002000202001,'210120200120,'002001200100,'002021010020,'202000010001,
'210000202100,'200100202020,'000001012001,'000021010000,'012001000021,'200100002100,
'200000210121,'012000210000,'002000000100,'012101012020,'000001202000,'010100012020,
'002000012101,'000021200000,'200000002001,'012001200120,'010120012001,'010020000000,
'002001200100,'202001000001,'010001000120,'000020210101,'000001200100,'002021210000,
'000120002020,'000100202020,'000020000121,'012020200101,'000100010000,'012021000001,
'002000000021,'210120002100,'002000000000,'200101000100,'002020010001,'210100202001,
'210000202021,'012001200001,'000100200000,'210100012020,'202000000001,'010000210020,
'010020002000,'002121000000,'010001012000,'010101000020,'010000210000,'000001010101,
'002021200020,'212020000001,'012100000121,'000120210000,'000020202100,'200100000000,
'002000012021,'212001000020,'210020010100,'000021202000,'000000210020,'010101002020,
'002101202101,'200120000101,'000000210001,'000020000000,'010100000021,'000001002021,
'010000202020,'012001000100,'200120010020,'002001000000,'012100202100,'200000200101,
'012020010001,'200101010100,'202001012020,'202001002000,'000020200000,'012000002100,
'200100000000,'010020000021,'200101202100,'000100200020,'000020000101,'200020200120,
'012020010000,'210000000120,'000120012001,'000000212100,'200001010120,'002000010021,
'010000000001,'200120210101,'002021000101,'002000210000,'200020010000,'000101000101,
'200000010020,'000020010100,'002120200100,'202101000000,'000100002001,'200020012000,
'012000002000,'000020000020,'200001000001,'012000002101,'200100200101,'010021012001,
'200021010120,'002100002000,'002101000000,'210020210021,'000020210000,'200021200000,
'000021000000,'010101000100,'010000202121,'000001010001,'002021000120,'002000000000,
'200001202000,'000100002020,'010001012100,'200101010000,'000100002021,'002000200000,
'200120012101,'000000202100,'002121000020,'200020000000,'200101002001,'200000000021,
'012000210000,'202000000000,'010001002020,'012100000020,'010020000120,'010000212000,
'202000010100,'210021010020,'202000202101,'010020000021,'000000210001,'200101200100,
'012100000020,'200000000020,'210020010001,'012000000001,'202120000100,'012020010020,
'000000200020,'200000202100,'002021000100,'202000210100,'010100012000,'010000002120,
'010000010021,'000021202000,'000101000020,'202001012001,'212000000121,'010100010100,
'002001000101,'002100000000,'000100002000,'202101200020,'200020000120,'010020000001,
'200020210100,'000120002021,'000100202000,'210100010120,'002000210000,'202000010120,
'010020000020,'200000000001,'200000000120,'000001012001,'000120210020,'000001012001,
'002101002100,'010000010001,'000000210101,'002120000100,'012001002001,'210100002000,
'200000010020,'000000012100,'000021210000,'200100012000,'200001200000,'000100200000,
'010021010100,'002100200020,'202100000021,'000001200020,'210100002000,'002001002001,
'000000000020,'200101012020,'000101200020,'200000000120,'010020000101,'002020010000,
'000100000020,'012001200021,'010000002120,'002000002001,'200121000000,'200001000000,
'002100202100,'010100200020,'002021002000,'000120000100,'002001010001,'000100002021,
'000000210001,'012020200001,'002000000120,'000000010020,'210000002100,'010000000100,
'000021002001,'200001200020,'002000000000,'012101000101,'010020212020,'000000210000,
'002001010100,'002101012000,'202001200101,'000000210000,'000021202000,'000120000000,
'210121010000,'000101002120,'000000000101,'002000010001,'200120010100,'210020002000,
'000101000021,'000000002120,'002001002100,'200021000020,'200001010021,'010100202001,
'000120202000,'010020202000,'200120200000,'210101010001,'000001002020,'010020000021,
'000020200000,'200100200100,'012020002000,'200000000000,'210100210121,'000001000101,
'002020210000,'012120000000,'210101000020,'000000002021,'010001010000,'002100210020,
'202100000000,'012001000100,'200100200000,'002020002100,'002101200000,'000100002000,
'012000202100,'000020010101,'010020010001,'000020010000,'200001000020,'010000202000,
'010100202000,'010000002001,'202121000120,'012020000001,'012100000100,'200100200000,
'012001000001,'000021210000,'012101002001,'200000000021,'000000000120,'012000002100,
'000101000020,'012100000020,'000000000020,'210100002100,'000020010000,'200000010120,
'000000002000,'200100000121,'000020200000,'010000012000,'202100210020,'200120002000,
'002001000020,'000100002101,'012021200000,'000120000000,'010121010000,'210001000020,
'000100002101,'002021010101,'002100210000,'200001002021,'000100200001,'200100210100,
'000000202001,'002101000100,'002000000000,'210000200000,'010020002101,'002001010000,
'200101200100,'010001000020,'202000002001,'010020000021,'012020012001,'002020200120,
'000020012000,'210100200100,'010000200021,'002001010100,'000021000020,'000100002001,
'002001000120,'000020200020,'010001212000,'202100210000,'000000000021,'212001000101,
'010000210101,'010020200000,'000000200000,'210120002020,'202100002000,'000100012000,
'002001010000,'000020000000,'212121000021,'010100200001,'000120000000,'000000212100,
'000001010120,'000021000020,'200000000100,'000100002020,'010001202000,'200000000020,
'210101000021,'200000002101,'010000000020,'010000010100,'202020000000,'002100010001,
'200001202100,'010000012021,'000000002000,'202000210000,'000100000001,'000101200020,
'000000010021,'010001200000,'202101010000,'002000012020,'200000200101,'210020202000,
'000020000101,'002001010000,'200000010020,'000101200021,'200000010020,'000020000000,
'000120200000,'210101002001,'002000002021,'210020000120,'002000202000,'002101010120,
'200020010000,'002000200000,'210120000120,'010000210000,'000001200100,'012000000020,
'200001002001,'200020000001,'012000010000,'002001200020,'002000002001,'000101200120,
'200100000120,'002021012000,'000020000000,'012120012000,'010001002000,'000120212001,
'010000002000,'200100200020,'202021000001,'210001000001,'200020212000,'010001000100,
'002100200000,'210001000020,'202100202100,'000020002001,'000021200001,'200020000000,
'002101000000,'010000002000,'000020010020,'002001000101,'000100010100,'200001000020,
'210100000000,'000100000020,'010000000001,'000121200000,'000100010000,'202000000100,
'210000010100,'002000002101,'202000000000,'010000012000,'010100000120,'000000212020,
'002020002001,'002020000100,'010020010000,'200000000000,'010120210001,'000021212100,
'202001010120,'202020002020,'000000200120,'010100010101,'000020202000,'000000000000,
'010000002020,'012001002001,'000100012021,'000020000100,'200020200000,'012001002020,
'000001200000,'010100200100,'010001200101,'000121000020,'012020000021,'000100200000,
'200020202101,'010000212000,'200021010000,'010000010001,'200001000100,'200000200100,
'000000210100,'202021200100,'000021010021,'000000200120,'000000000121,'000000012000,
'200020010120,'002000000000,'202000200001,'000120000001,'000001000100,'002001200020,
'002121010001,'200001000001,'200000000000,'010020000101,'002001210000,'010020010020,
'002100000120,'000020012121,'002000000001,'202000000100,'010100002000,'002101002020,
'200100212000,'002001010000,'002000000100,'202000000000,'212100000101,'000000000121,
'002021010001,'000020000000,'000100002021,'202100002120,'200000000121,'010020012001,
'200121000000,'000120002000,'200100000100,'010000200120,'002020010100,'002000210000,
'210000012001,'002100200100,'010000010000,'010020200000,'200001000020,'202001000021,
'012000200021,'010100012000,'012000202100,'002021200020,'000021000000,'000001000001,
'000100012121,'002000210000,'000000010100,'000120002001,'010001000000,'010020202000,
'010001200000,'200100000020,'012020000021,'200000000000,'010120000121,'002000002001,
'000101200100,'210100012001,'000001002021,'000000210100,'000000000101,'200101000000,
'010100002000,'010100000120,'010000002001,'002021012001,'200021210020,'010100010000,
'010000200020,'000100202000,'010021202000,'002000000020,'000020010001,'210000200101,
'010100000100,'012000000001,'000001000020,'000100010000,'200000002000,'200000010120,
'010021210000,'200020210100,'002121000000,'000101202001,'200000000020,'000001210100,
'202020000100,'010001010021,'200000002000,'210100202020,'012020002000,'000001000020,
'210001002020,'002101000020,'200020010101,'002020212100,'200021000020,'000020012000,
'010100000020,'200100210000,'000001000000,'000001000100,'200000010001,'202000200001,
'010120000021,'000000002100,'200000200100,'200101000021,'000000200000,'010000010001,
'002000000001,'000101010020,'200020000000,'200001000021,'000020002020,'010001000000,
'202100200000,'200020000020,'012100000020,'010000210120,'010000000100,'000121000000,
'200001000020,'010000202101,'000000202001,'012000202000,'000000200100,'202101002000,
'000000000121,'200020000021,'010020010100,'000100000120,'002000010020,'210101200000,
'000000000001,'000021000000,'200001210100,'012020002000,'202100002001,'010100002001,
'000020000100,'202000210020,'000001012000,'002000000101,'200000202000,'010000200101,
'000120210020,'000020002000,'012100002100,'200020002000,'000000200001,'002120200000,
'010001002001,'010101000020,'200000200100,'012001210000,'000021000100,'210000010020,
'010000200001,'010100200101,'002020002001,'000000200100,'210001000000,'002000002100,
'010000010100,'000000010100,'202000000100,'012101012001,'210101202000,'000100000101,
'000001000100,'200020200100,'012000012001,'200100000101,'000000212020,'000001010100,
'000101000020,'002000012020,'210000200021,'200000200001,'000000000001,'000101000020,
'000000012000,'202000202120,'000100000000,'010020000000,'202000000000,'200120000021,
'010001002000,'000120200000,'010000012001,'200100000000,'012000000001,'010000200001,
'010000002000,'012021000000,'000021210120,'002101010001,'202101002021,'000000210000,
'000000200100,'200001200000,'012101002020,'000100002100,'000100210000,'002020002000,
'202001200120,'002000000001,'000100000120,'000020010020,'010000000000,'000001210100,
'200120010000,'000001200000,'000000202001,'012000002101,'002000010000,'200001010000,
'210000002101,'200100012020,'002020210001,'202100010100,'212020000020,'010100200020,
'200000012020,'002000002100,'002021000000,'202000010021,'002000000100,'200020202000,
'010001000001,'000000000100,'212101000000,'002100002000,'000020000001,'012020010100,
'002020200020,'010120002001,'000100200000,'200000200101,'002000010101,'002000010000,
'002120012001,'000101002020,'010000002001,'000001000000,'002101000000,'000121002020,
'002000200000,'210020000001,'012000200000,'000001010000,'010001012000,'000001000020,
'000100002100,'002000210101,'200000000000,'210100000020,'002000000020,'200000012000,
'010000010001,'000100000120,'202021010000,'212000000100,'200020200101,'002000200000,
'200020200120,'000001000020,'202100000101,'000000200000,'012000200000,'002100000100,
'000120000001,'210001002000,'200100002120,'000020000100,'000000000020,'202020002001,
'010001002021,'010000200000,'000020200100,'200000010100,'200020012001,'202001200100,
'010000010000,'002021002000,'000101010000,'000001010000,'202000200020,'200120010000,
'000001200001,'002120200000,'212021000000,'002100202001,'210100210100,'000000010001,
'202021000000,'200000010021,'210000000000,'000000000000,'010021002000,'000121000020,
'012100000020,'200100000101,'000000200001,'010020210000,'002000200000,'012120002001,
'000001200000,'010100000100,'000000012001,'000020010020,'000100000000,'000000002020,
'010020010001,'010000012000,'000101210100,'202020010000,'012000000120,'000100002001,
'012000200100,'000021000020,'210000000000,'012101000121,'000020002021,'012021000000,
'200120010100,'012000000020,'002000202021,'000000012100,'000001202101,'002000010120,
'010001000020,'200000000001,'010000202120,'000000002000,'000100210100,'212000000001,
'202100000000,'200000200000,'012020000101,'200001000120,'002101010000,'200101002000,
'210000012001,'002000010101,'000000000120,'010000012001,'002100200020,'000000200000,
'000000012000,'200101000120,'002121010000,'010000200020,'210000200000,'000021002001,
'002020010000,'010021000020,'000101002101,'200120002121,'010021010000,'000000200000,
'002001002000,'002001202001,'210000010100,'012000012000,'000101010020,'000021000001,
'000100202100,'000020200000,'000020000001,'000120200000,'210000000000,'000000000021,
'200020200120,'002000200000,'000121000020,'000001012020,'200100002120,'010100200100,
'002001012000,'200000010000,'010020010000,'010001200021,'000120012020,'000020202000,
'000000010120,'002101000001,'000001200001,'010100202001,'000001002001,'002001210000,
'010000000020,'002000000121,'200000010101,'000020000101,'000000200100,'012000002000,
'000000000021,'000000012020,'010001202001,'002101000100,'010021010001,'000000000100,
'000020200000,'002020010001,'200100000020,'202100010000,'200100000100,'010020200021,
'000020012000,'200000000020,'000120002021,'210100000000,'210000012101,'000020000000,
'000000000020,'200000000000,'000001200001,'010100010000,'000021202000,'000101200020,
'002020010000,'012000200020,'010000010001,'010020200101,'002121000000,'200000002020,
'200100002001,'200000010100,'002001000000,'002100000100,'200020002001,'000101002000,
'010100202020,'000001200100,'000020010100,'000000000000,'200000202001,'210100002100,
'000000212000,'200100210020,'002100010020,'000001002020,'010000010101,'002020002100,
'200000200100,'010100012021,'200001000100,'010000200100,'002020010001,'200020210120,
'002100000000,'202000002020,'010120000020,'010021000000,'002001000000,'202000010000,
'002000200100,'200120000101,'000000200100,'000021000000,'000121002000,'012000002120,
'200100000100,'010000200000,'202000010000,'002021002021,'010001002001,'200020212020,
'012000010001,'000020010100,'202000000001,'202000002000,'000000200000,'000001200001,
'000120000020,'000101002001,'002001002001,'000000000000,'002020210000,'002121000020,
'000000010020,'200001000020,'000000002020,'000000002100,'002001010100,'210000010001,
'012000000100,'010020200021,'000021012100,'000100000020,'200001000000,'000000200001,
'210120000000,'000001000000,'000000010000,'210120000000,'200101200000,'200100012000,
'012020000101,'002120010100,'200120000020,'000100200020,'000020002020,'002001010100,
'000100010000,'212001000000,'202000202000,'010000000021,'000001210000,'000000200100,
'202101010000,'202000002120,'000020010020,'010020012101,'200100000000,'000001002000,
'210100000120,'000100212001,'000020002001,'000000210020,'010000000000,'002101200100,
'000020010001,'010001000000,'002000210020,'000000010021,'002000000020,'200100202000,
'010001002001,'000100200000,'010120012020,'010101002021,'000020000000,'010020000100,
'000100210100,'000021000001,'012000000020,'000000202020,'002000212000,'000120010100,
'200021000000,'200000202100,'010000000101,'010000000000,'000000010020,'210000000020,
'000000000021,'210000000020,'002000210101,'002000200120,'002000010000,'010100202000,
'200000200120,'000000000000,'000021200100,'000000010001,'002100200001,'000020002021,
'010001012100,'002000210000,'202000000020,'202001000100,'010000002000,'002020200001,
'002101000000,'210000000000,'210000200120,'200020000121,'010001200100,'202120010000,
'202020002000,'002000000000,'010020010100,'000001012001,'000120000000,'002001000020,
'002000200001,'010120000021,'010000000001,'000021010120,'210100002021,'002001000101,
'000000000020,'010020000001,'200101000000,'010021000000,'000101200020,'000100202101,
'002000010000,'202021200100,'012000010000,'212100000020,'000020012001,'010001000000,
'000100200000,'200020012020,'210001000121,'000100000100,'000001200101,'002000010020,
'200020010000,'202000202021,'200000002101,'002021210100,'002100200100,'000001000000,
'010001202000,'200000010000,'000001202000,'002001010100,'212020010020,'010100200001,
'010000202100,'000001002001,'200020210000,'000000012000,'000101002020,'010020200020,
'010000200101,'000001000120,'002100000000,'200100002000,'010000010020,'000020002000,
'202000010000,'200000002001,'000100200000,'010120010000,'000000000000,'000101210020,
'000100002001,'010000000101,'000100000100,'000001200000,'000021200020,'200121000020,
'200001200100,'200000010000,'002021000000,'000020200000,'212121002000,'000000000000,
'010000200000,'012000000100,'000020010020,'012021000021,'010000002101,'200020002020,
'002000012000,'200100210120,'000000010001,'002001000121,'000020000000,'010020212101,
'200020000000,'000000000001,'010000200120,'200000000100,'000000002100,'000000010020,
'210100010001,'210101000020,'000100200000,'000021200100,'202101000000,'002100012001,
'000001000100,'010000012100,'010020002001,'000000210020,'000100010020,'200001002001,
'000100002021,'002000210000,'002020000000,'000001002000,'010100000000,'000120210120,
'000001000001,'200101000000,'000001000020,'002100000100,'210000200120,'010021200000,
'200001000100,'002001000020,'202000000000,'000020010101,'000000200100,'200021000100,
'000120010000,'200000200100,'000100202100,'002020010000,'000001000020,'202100010000,
'000000002121,'010020002001,'010000010100,'000000000000,'002021010001,'002001000000,
'000020200000,'012001000100,'000120210000,'000001002020,'200000200121,'000100000020,
'010020000000,'200120200000,'010120000020,'010001200000,'000020000020,'002000000001,
'202101000020,'200020010021,'000100000000,'200100202000,'012001000001,'000020210100,
'002000012021,'000100000021,'000000210100,'012000000000,'002101200120,'000001002020,
'010001000100,'000100002000,'000020000000,'000021000000,'200000002001,'012000000001,
'010000010021,'010020212000,'200000000100,'000100002000,'010000200000,'200100202101,
'010020000001,'000120010000,'010120000020,'012000200100,'000100000000,'002021010100,
'202020010000,'002020002001,'002001000020,'200100002120,'000001000001,'200121000000,
'212000000000,'012000202001,'200100000101,'000020002000,'200000010020,'200001010021,
'000101002100,'000000000101,'010000002000,'000020200020,'000020012001,'000000002020,
'000100202100,'000001000001,'002000200020,'010000010001,'200000002100,'010000010001,
'000020012100,'000001000100,'002001012021,'010000000021,'010120000001,'002000002100,
'000100210000,'000120002000,'212000000000,'000000012000,'002021010001,'202000200100,
'212000000020,'012001200020,'200000200000,'000000010100,'000020000120,'002020010001,
'210100002000,'200020000001,'010021200001,'000001000120;
INTERNAL INTEGER ARRAY SIEVE[0:1365];
END   "PSIEVE"